#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

extern FILE* stdin;
extern FILE* stdout;
extern FILE* stderr;
int main()
{
  int fd0 = stdin->_fileno;
  int fd1 = stdout->_fileno;
  int fd2 = stderr->_fileno;
  printf("stdin:%d\nstdout:%d\nstderr:%d\n",fd0,fd1,fd2);
  return 0;
}
